A Simulation Tool for tccp Programs
نویسندگان
چکیده
منابع مشابه
A Simulation Tool for tccp Programs
The Timed Concurrent Constraint Language tccp is a declarative synchronous concurrent language, particularly suitable for modelling reactive systems. In tccp, agents communicate and synchronise through a global constraint store. It supports a notion of discrete time that allows all non-blocked agents to proceed with their execution simultaneously. In this paper, we present a modular architectur...
متن کاملA Symbolic Model Checker for tccp Programs
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for reactive systems. Our approach is based on using streams to extend Difference Decision Diagrams (DDDs) which generalize the classical Binary Decision Diagrams (BDDs) with constraints. We use streams to model the values of ...
متن کاملA Tool for Generating a Symbolic Representation of tccp Executions
The Timed Concurrent Constraint language (tccp) was defined by F. de Boer et al. as an extension of the Concurrent Constraint Paradigm (Saraswat, 1993) for specifying reactive and embedded systems. In this paper, we describe the StructGenerator system which, given the specification of a tccp program, constructs a symbolic representation (a tccp Structure) modeling the behavior of such tccp prog...
متن کاملAbstract Model Checking of tccp programs
Model Checking of tccp programs Maŕıa Alpuente 1 ,2 Maŕıa del Mar Gallardo 1 ,3 Ernesto Pimentel ,4 Alicia Villanueva 1 ,5
متن کاملVerifying Real-Time Properties of tccp Programs
The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are particularly hard to verify by hand, achieving effective, automated verification tools for concurrent software has become an important topic of research. Model checking is a popular automated verification technology whi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2017
ISSN: 2075-2180
DOI: 10.4204/eptcs.234.9